<?php
  echo urlencode(file_get_contents('A.txt'));
?>